bitkeeper revision 1.1159.1.8 (4114e84532jMbVgxayKe_J9XghOtWw)

Allow vbd device names to be used with and without /dev/ prefix

diff --git a/tools/python/xen/xend/XendDomainInfo.py b/tools/python/xen/xend/XendDomainInfo.py
index 45da2c250fcfec6cf88c2de75e517a6bffe553da..fa5fd6b5741cd8cf2e35208dbbed05d0edda5943 100644 (file)
--- a/tools/python/xen/xend/XendDomainInfo.py
+++ b/tools/python/xen/xend/XendDomainInfo.py
@@ -83,7 +83,9 @@ def blkdev_name_to_number(name):
     'hda') and return the device number used by the OS. """
 
     if not re.match( '^/dev/', name ):
-        n = '/dev/' + name
+       n = '/dev/' + name
+    else:
+       n = name
         
     try:
        return os.stat(n).st_rdev